🔗 Concatenative Programming - matmat · Scour

Making a Language

thunderseethe.dev·9h

🛠Language Design

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings

arxiv.org·1d

🌳Context free grammars

Python Closures: Coming from JavaScript

dev.to·1d·

Discuss: DEV

⬆️Lambda Lifting

How to Write Your Own Programming Language in C#

codemag.com·2d

💻Programming languages

One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...

lmika.org·3h

🔓Reverse engineering

The Parable of the Languages (2002)

web.archive.org·1d·

Discuss: Lobsters

💻Programming languages

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons

arxiv.org·3h

🧮SMT Solvers

On the way to step functions: the two worlds

blog.julik.nl·2d

🐚Shell Calculus

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·15h·

Discuss: Hacker News

🤝Unification Algorithms

Values of the world, unite!

jemarch.net·1d

🔧Binary Parsers

Writing your first compiler

popovicu.com·3d·

Discuss: Hacker News, r/golang

📝Compiler Design

Use Babel to Deobfuscate JavaScript Malware

blag.nullteilerfrei.de·3d

🎯Gradual Typing

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌳Context free grammars

Software as clay on the wheel

dri.es·1d

⚡Proof Automation

abelianization of an additive category in nLab

ncatlab.org·15h

🧮Algebraic Archives

Making an LSP for great good

thunderseethe.dev·1d·

Discuss: Lobsters, Hacker News

🌳Incremental Parsing

CodeSOD: Validation Trimmed Away

thedailywtf.com·1d

✅Format Validation

Subterms Modulo Theories I

philipzucker.com·3d

🎯Automata theory

Kolmogorov Complexity

en.wikipedia.org·19h·

Discuss: Hacker News

🧮Kolmogorov Complexity

Loading more...